BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics

6 Cloud droplet formation and K¨ohler theory This chapter discusses the details of cloud droplet formation. Cloud droplet formation requires phase changes. Some phase changes require a nucleation process, for instance,

Source URL: www.iac.ethz.ch

GLOBAL STRATEGY IN THEORY AND PRACTICE: RELEVANCE FOR THE EU A think-tank driven process is underway in Europe to generate new ideas for a European Union Global Strategy. This workshop, organised by one of the institute

Source URL: www.euglobalstrategy.eu

ISSNDependent mixture models: clustering and borrowing information Antonio Lijoi

Source URL: www.carloalberto.org

• Probability
• Statistical models
• Statistical dependence
• Statistical theory
• Dirichlet process
• Exchangeable random variables
• Parametric model
• Independence
• Probability space
• Statistics
• Probability theory
• Probability and statistics

Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 c 2002 Society for Design and Process Science COMBINING STATIC AND DYNAMIC ANALYSES TO DETECT INTERACTION PATTERNS

Source URL: arisa.se

• Computer programming
• Object-oriented programming
• Type theory
• Data types
• Observer pattern
• Design Patterns
• Behavioral pattern
• Tuple
• Type system
• Software engineering
• Software design patterns
• Computing

Gaussian Markov random fields: Efficient modelling of spatially dependent data

Source URL: www.maths.lth.se

• Kriging
• Multivariate interpolation
• Estimation theory
• Covariance matrix
• Random field
• Markov random field
• Gaussian process
• Maximum likelihood
• Statistics
• Geostatistics
• Interpolation

BRICS RSAceto & Ing´olfsd´ottir: The Saga of the Axiomatization of Parallel Composition BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Process calculus
• Algebra
• Bisimulation
• Model theory
• Operator
• Mathematics
• Theoretical computer science
• Algebraic structures

Introduction to spatial point processes

Source URL: people.math.aau.dk

• Measure theory
• Markov processes
• Point process
• Poisson process
• Locally finite measure
• Support
• Probability distribution
• Measure
• Borel set
• Statistics
• Mathematical analysis
• Stochastic processes

Consensus Is Not Unanimity: Making Decisions Cooperatively by Randy Schutt What is consensus? Is it a cooperative, loving, nonviolent process in which people share their best ideas and come up with superior decisions? Or

Source URL: www.campusactivism.org

• Social psychology
• Behavior
• Ethics
• Consensus decision-making
• Meetings
• Groupthink
• Consensus
• Formal consensus
• Scientific consensus
• Group processes
• Community organizing
• Decision theory

ISSNOptimal filtering and the dual process Omiros Papaspiliopoulos Matteo Ruggiero

Source URL: www.carloalberto.org

• Estimation theory
• Statistical theory
• Fourier analysis
• Fisher information
• Mean difference
• Statistics
• Symbol
• Markov chain